21. Modern computer algebra
پدیدآورنده : / Joachim von zur Gathen and Jeurgen Gerhard
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer algorithms,Algebra, Data processing,Computer science, Mathematics
22. Modern computer algebra
پدیدآورنده : Gathen, Joachim von zur
موضوع : ، Algebra-- Data processing,، Computer algorithms,، Computer science-- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
23. Modern computer algebra
پدیدآورنده : / Joachim von zur Gathen and Jurgen Gerhard
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Algebra- Data processing,Computer algorithms,Computer science- Mathematics
رده :
QA155
.
7
.
E4
,
Z87
1999
24. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده : edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
25. Resolution Proof Systems :
پدیدآورنده : by Zbigniew Stachniak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
26. Sensation and Measurement :
پدیدآورنده : edited by Howard R. Moskowitz, Bertram Scharf, Joseph C. Stevens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Computer science.
رده :
QP435
.
E358
1974
27. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
28. Symbolic C++ : an introduction to computer algebra using object-oriented programming
پدیدآورنده : Tan, Kiat Shi, 2791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، C++ )Computer program language(,Data processing ، Algebra
رده :
QA
76
.
64
.
T24
2000
29. SymbolicC++: an introduction to computer algebra using object _ Oriented Programming
پدیدآورنده : / Tan kiat shi, Willi_Hans Steeb
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Object _ oriented Programming (Computer Science).,C++ (computer program Language),Algebra _ Data Processing.
رده :
QA76
,.
64
.
T
35
30. Systems of reductions
پدیدآورنده : Benninghofen, Benjamin, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Algorithms
رده :
QA
76
.
L28
Vol
.
277
31. Systems of reductions
پدیدآورنده : Benninghofen, Benjamin
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Computer algorithms
رده :
QA
267
.
B46
1987
32. Termersetzungssysteme :
پدیدآورنده : von Klaus Drosten.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Computer science.,Software engineering.
رده :
QA76
.
76
.
R48
V665
1989
33. Theoretical Aspects of Computing - ICTAC 2008
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra -- Data processing,Computer science,Computer software,جبر -- دادهپردازی,علوم کامپیوتر,نرمافزار
رده :
E-Book
,
34. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Masahito Hasegawa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013